English translation for "hiérarchie arithmétique"

arithmetical hierarchy

Example Sentences:

	1.	So far down in the arithmetic hierarchy, and that goes for any recursively axiomatized (countable, consistent) theories. Si loin dans la hiérarchie arithmétique, et s'applique à toutes les théories récursivement axiomatisées (dénombrable, conforme).
	2.	This classic proof is a very early, original application of the arithmetic hierarchy theory to a general-logical problem. Cette preuve classique est une des premières et originale application de la théorie de la hiérarchie arithmétique à un problème de logique.
	3.	In computability theory Post's theorem, named after Emil Post, describes the connection between the arithmetical hierarchy and the Turing degrees. En théorie de la calculabilité, le théorème de Post, du nom d'Emil Post, fait le lien entre hiérarchie arithmétique et degré de Turing.
	4.	According to the mathematicians Alfred Tarski, Stephen Cole Kleene and Andrzej Mostowski, the Arithmetical hierarchy of formulas is the set of arithmetical propositions that are true in the standard model, but not arithmetically definable. Selon les mathématiciens Alfred Tarski, Stephen Cole Kleene et Andrzej Mostowski, la hiérarchie arithmétique des formules est l'ensemble des propositions arithmétiques qui sont vraies dans le modèle standard, mais pas de manière arithmétiquement définissable.

Similar Words：

"hiéracosphinx" English translation, "hiérapolis" English translation, "hiérarchie" English translation, "hiérarchie (mathématiques)" English translation, "hiérarchie analytique" English translation, "hiérarchie bbgky" English translation, "hiérarchie booléenne" English translation, "hiérarchie céleste" English translation, "hiérarchie dans l'Église catholique" English translation